Project
Team
Contraintes
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Constraint Handling Rules and Linear Logic
- Rule-based Modeling Language for Constraint Programming
- Trace Development Methodology
- Railway Time Tabling Optimization
- Petri Net Analysis of Biochemical Networks
- Theory of Subgraph Epimorphisms
- Parameter Search under Temporal Logic Constraints
- Model-based Optimization of Cancer Chronotherapies
- Analysis of FSH and Angiotensine Signaling
- Multi-affine Hybrid Automaton Model of Cardiac Cells
- Real-time Control of Gene Expression in Yeast
- Artificial Tissue Homeostasis in Mammalian Cells
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project
Team
Contraintes
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Constraint Handling Rules and Linear Logic
- Rule-based Modeling Language for Constraint Programming
- Trace Development Methodology
- Railway Time Tabling Optimization
- Petri Net Analysis of Biochemical Networks
- Theory of Subgraph Epimorphisms
- Parameter Search under Temporal Logic Constraints
- Model-based Optimization of Cancer Chronotherapies
- Analysis of FSH and Angiotensine Signaling
- Multi-affine Hybrid Automaton Model of Cardiac Cells
- Real-time Control of Gene Expression in Yeast
- Artificial Tissue Homeostasis in Mammalian Cells
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home